Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
171	10 Program Analysis Tools Program analysis tools provide supplementary information to the programmer in addition to the feedback from the compiler and the linker. Some of these tools perform a static analysis, i.e. they Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Procedural programming languages Type theory Breakpoint Debugging OCaml Caml ALGOL 68 D Computer programming Software engineering Computing
172	An Iterative Compiler for Implicit Parallelism Extended Abstract Jos´e Manuel Calder´on Trilla Colin Runciman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional programming Parallel computing Functional languages Static program analysis Strictness analysis Procedural programming languages Append Implicit parallelism Strict programming language Software engineering Computing Computer programming
173	Improving the Usability of the ESC/Java Static Analysis Tool A Thesis in TCC 402 Presented to The Faculty of the Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2004-07-15 11:37:58 Cross-platform software ESC/Java Java programming language Static program analysis Java Java Modeling Language Computing Software Java platform
174	Building Security In Editor: Gary McGraw, [removed] Static Analysis for Security A Add to Reading List Source URL: www.cigital.com Language: English - Date: 2013-11-26 20:39:28 Software testing Program analysis Hacking Vulnerability Static program analysis Code audit Lint Fortify Software Software bug Software quality Software Computing
175	立法會 Legislative Council LC Paper No. CB[removed]These minutes have been seen by the Administration) Ref : CB1/BC/3/02 Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2005-07-26 03:18:06 Static program analysis Data types Primitive types Pointer Data-flow analysis Alias analysis Aliasing Algorithm Compiler optimization Software engineering Computing Mathematics
176	Demand-Driven Alias Analysis for C Xin Zheng and Radu Rugina Computer Science Department Cornell University Ithaca, NY 14853 {xinz, rugina}@cs.cornell.edu Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-11-09 11:10:22 Static program analysis Data types Primitive types Pointer Data-flow analysis Alias analysis Aliasing Algorithm Compiler optimization Software engineering Computing Mathematics
177	Static Analysis with LDRA Testbed® Software Technology What is Static Analysis? LDRA Testbed’s Static Analysis enables a project to ensure that a uniform set of programming standards are Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:27:55 Software engineering Program analysis Software development Liverpool Data Research Associates Coverity Software testing Software metrics LDRA Testbed
178	Microsoft Word - Concession Agreement _June 3_ Add to Reading List Source URL: www.partnershipsbc.ca Language: English - Date: 2010-02-26 22:37:52 Termination analysis Force majeure Concession Insurance Economics Terminology Contract law Business Static program analysis
179	Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs {livshits, lam}@cs.stanford.edu Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-22 04:27:24 Software bugs Static program analysis Software testing Pointer C Security bug Shape analysis Vulnerability Computing Software engineering Computer programming
180	clang-tidy Lint-like checks and beyond (Daniel Jasper - [removed]) Goal ● Lint - a C program verifier: Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Compilers LLVM C Static program analysis Sequence container Software Computing Clang

UPDATE